perm filename MTC.CAT[258,JMC] blob sn#027834 filedate 1973-04-04 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	257. Mathematical Theory of Computation
C00003 ENDMK
CāŠ—;
257. Mathematical Theory of Computation
Abstract syntax and formal semantics of programming languages.
Recursively defined functions and algolic programs.
Proving assertions about computer programs using formalisms
of Burstall, Floyd, Hoare, Manna, McCarthy, and Scott.
Use of proof-checkers to replace debugging by computer
checked proofs of correctness.
Prerequisite: 156 with 206 recommended.
3 units,Spr(McCarthy)TTh 11:00-12:15